Director, Centre for Interdisciplinary Research in Computational Algebra, University of St. Andrews. Leads the international consortium developing GAP. Publications, software.
Ph.D. thesis "Algorithms Computing Grobner Bases and Syzygies" (PDF). A computational introduction to Grobner Basis Theory and its applications: polynomials, Laurent polynomials, syzygies, inverse FIR filter and unimodular matrix completion.
University of St Andrews. Computational group theory, computational semigroup theory and algebra in general. Papers, seminars, teaching material and software.